Theoretical Computer Science: 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings: 2202 (Lecture Notes in Computer Science)
by Antonio Restivo,Luca Roversi,Simona Ronchi Della Rocca
ISBN 13: 9783540426721
Format: Paperback (460 pages) Publisher: Springer Published: 27 Jun 2008
Save for later
The Parametric Lambda Calculus: A Meta-Model for Computation (Texts in Theoretical Computer Science: An EATCS Series)
by Simona Ronchi Della Rocca,Luca Paolini
ISBN 13: 9783540200321
Format: Hardcover (276 pages) Publisher: Springer Published: 01 Mar 2004